Concurrency computer science) - PDFSEARCH.IO - Document Search Engine

Concurrency computer science)
Results: 359

#	Item
31	SSC - Concurrency and Multi-threading SSC - Concurrency and Multi-threading Thread pool and executor framework Shan He School for Computational Science Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2014-11-17 15:55:12 Computing Computer programming Concurrent computing Software design patterns Software engineering Thread Task Lock Java concurrency Monitor
32	OSSIA: TOWARDS A UNIFIED INTERFACE FOR SCORING TIME AND INTERACTION Jean-Michaël Celerier Blue Yeti Add to Reading List Source URL: tenor2015.tenor-conference.org Language: English - Date: 2015-05-26 15:55:56 Software engineering Concurrency Models of computation Constraint programming Diagrams Programming paradigms Formal methods Theoretical computer science Petri net Constraint logic programming Decomposition method
33	Introduction to Correctness and Performance Tools for Parallel Programming John Mellor-Crummey Department of Computer Science Rice University Add to Reading List Source URL: hpctoolkit.org Language: English - Date: 2015-02-08 14:38:57 Computer programming Software Debugging Profilers Concurrency Debuggers Valgrind Lock Thread Programming tool Parallel computing Race condition
34	University of Science and Technology of China A dissertation submitted for the degree of PhD Refinement Verification of Concurrent Programs and Its Applications Add to Reading List Source URL: staff.ustc.edu.cn Language: English - Date: 2015-04-24 09:43:54 Theoretical computer science Logic in computer science Formal methods Software engineering Formal verification Refinement Linearizability Correctness Operational semantics Semantics Concurrency Algorithm
35	Department of Electrical Engineering and Computer Science MASSACHUSETTS INSTITUTE OF TECHNOLOGYDistributed System Engineering: SpringQuiz I Solutions Add to Reading List Source URL: nil.csail.mit.edu Language: English - Date: 2015-01-05 06:37:34 Concurrency control Computing Software Computer programming Lock Monitor File locking Synchronization Linearizability Mutual exclusion
36	Call for Papers The 2010 International Workshop on Multicore and Multithreaded Architectures and Algorithms (M2A2May 21-23, 2010, Busan, Korea General Co-Chairs Add to Reading List Source URL: cse.stfx.ca Language: English - Date: 2010-01-31 16:05:42 Parallel computing Computing Computer programming Concurrency computer science) Multi-core processor Symmetric multiprocessing Thread Parallel algorithm
37	Reducing contention in STM Panagiota Fatourou Department of Computer Science University of Crete & FORTH ICS Mykhailo Iaremko1 Add to Reading List Source URL: rp-www.cs.usyd.edu.au Language: English Concurrency control Transaction processing Software transactional memory Lock Non-blocking algorithm Linearizability Transactional memory Parallel computing Go Synchronization Symposium on Parallelism in Algorithms and Architectures
38	Implementing MPI-IO Atomic Mode Without File System Support Robert Ross Robert Latham William Gropp Rajeev Thakur Brian Toonen Mathematics and Computer Science Division Argonne National Laboratory Add to Reading List Source URL: wgropp.cs.illinois.edu Language: English - Date: 2016-08-16 11:52:12 Concurrency control Lock MPICH File locking Linearizability Mutual exclusion Fetch-and-add Parallel computing Synchronization Test-and-set Message Passing Interface
39	Extending the MPI-2 Generalized Request Interface Robert Latham, William Gropp, Robert Ross, and Rajeev Thakur Mathematics and Computer Science Division Argonne National Laboratory Argonne, IL 60439, USA Add to Reading List Source URL: wgropp.cs.illinois.edu Language: English - Date: 2016-08-16 11:52:12 Parallel computing Application programming interfaces Message Passing Interface Concurrency control Inter-process communication MPICH Non-blocking Asynchronous I/O Thread Futures and promises MPI Unix signal
40	A Schedulability Compatible Multiprocessor Resource Sharing Protocol - MrsP A. Burns and A.J. Wellings Department of Computer Science,University of York,York, YO10 5GH, UK Abstract—Lock-based resource sharing protocols Add to Reading List Source URL: www-users.cs.york.ac.uk Language: English - Date: 2013-04-24 07:59:24 Concurrency control Real-time computing Priority inversion Priority ceiling protocol Real-time operating system Stack Resource Policy Scheduling Semaphore Non-blocking algorithm Synchronization Priority inheritance Lock